Definability and stability of multiscale decompositions for manifold-valued data

We discuss multiscale representations of discrete manifold-valued data. As it turns out that we cannot expect general manifold-analogues of biorthogonal wavelets to possess perfect reconstruction, we focus our attention on those constructions which are based on upscaling operators which are either interpolating or midpoint-interpolating. For definable multiscale decompositions we obtain a stability result

Geometric computing for freeform architecture

Geometric computing has recently found a new field of applications, namely the various geometric problems which lie at the heart of rationalization and construction-aware design processes of freeform architecture. We report on our work in this area, dealing with meshes with planar faces and meshes which allow multilayer constructions (which is related to discrete surfaces and their curvatures), triangles meshes with circle-packing properties (which is related to conformal uniformization), and with the paneling problem. We emphasize the combination of numerical optimization and geometric knowledge.

Improved Answer-Set Programming Encodings for Abstract Argumentation

The design of efficient solutions for abstract argumentation problems is a crucial step towards advanced argumentation systems. One of the most prominent approaches in the literature is to use Answer-Set Programming (ASP) for this endeavor. In this paper, we present new encodings for three prominent argumentation semantics using the concept of conditional literals in disjunctions as provided by the ASP-system clingo. Our new encodings are not only more succinct than previous versions, but also outperform them on standard benchmarks.Comment: To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 201

Extension Enforcement under Grounded Semantics in Abstract Argumentation

Peer reviewe

Holozäne Landschaftsentwicklung am Lago Budi, Chile (38,9°C): Paläolimnologisch/paläoseismische Untersuchungen an Lagunensedimenten

Die vorliegende Arbeit hatte das Ziel, die Entstehungsgeschichte der Küstenlagune Lago Budi zu rekonstruieren und ein zeitliches Modell ihrer genetischen Phasen zu erstellen. Als Datengrundlage dienten bis über 16 m unter den heutigen Seespiegel reichende Sediment-kerne, sowohl aus verschiedenen Bereichen der Lagune, aus den Ufergebieten des Lago Budi sowie entlang des Küstenstreifens. Zur Datenerhebung kam eine Vielzahl unterschiedli-cher Arbeitsmethoden zur Anwendung. Neben geophysikalischer Erkundung (Sedimentecho-graphie, Hammerschlagseismik) wurden –unterstützt durch diatomologische und palyno-logische Untersuchungen– vor allem sedimentologisch/mineralogische und geochemische Analysen durchgeführt